home *** CD-ROM | disk | FTP | other *** search
-
- (c1) /*
- DEMONSTRATION OF RADCAN
- */
- (%e^((y+x)/2)+%e^(y+x))/%e^((y+x)/2);
- |$label(0,15,Times New Roman,$(d1$))$sup($e(),$in( - )$q(y$in( + )x,2))$hinge()$in( )$open($()$sup($e(),$q(y$in( + )x,2))$hinge()$in( + )$sup($e(),y$in( + )x)$close($))
-
- (c2) radcan(%);
- |$label(0,15,Times New Roman,$(d2$))$sup($e(),$q(y$in( + )x,2))$hinge()$in( + )1
-
- (c3) (x^(1/5)+x)/x^(1/6);
- |$label(0,15,Times New Roman,$(d3$))$q(x$in( + )$sup(x,1$in(/)5),$sup(x,1$in(/)6))
-
- (c4) radcan(%);
- |$label(0,15,Times New Roman,$(d4$))$sup(x,5$in(/)6)$hinge()$in( + )$sup(x,1$in(/)30)
-
- (c5) assume(x+y>0)$
-
- (c6) (x^2+2*x*y+y^2)^(1/2)/(x+y);
- |$label(0,15,Times New Roman,$(d6$))$q($sqrt($sup(y,2)$in( + )2$in( )x$in( )y$in( + )$sup(x,2)),y$in( + )x)
-
- (c7) radcan(%);
- |$label(0,15,Times New Roman,$(d7$))1
-
- (c8) log(x^2+6*x+9)/log(x+3);
- |$label(0,15,Times New Roman,$(d8$))$q(log$paren($sup(x,2)$in( + )6$in( )x$in( + )9),log$paren(x$in( + )3))
-
- (c9) radcan(%);
- |$label(0,15,Times New Roman,$(d9$))2
-
- (c10) /* Clean up */
- forget(x+y>0)$
-